Positive Mathematical Programming

Positive Mathematical Programming

Using the Positive Mathematical Programming Method to Calibrate

In agricultural economics, several calibration and aggregation approaches have evolved in mathematical programming models. This article combines in a linear programming model features of the Positive Mathematical Programming method with an aggregation approach that is constrained to the production possibility set spanned by a convex combination of observed production activities. The combination...

Mathematical programming based debugging

Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain bounds. Abstract interpretation is used in the static analysis of code to establish the inclusion-wise smallest set of values (numerical invariant) that the program variables can attain during program execution. Such sets can be used to de...

Programming as mathematical narrative

This paper describes a narrative-oriented approach to the design and the analysis of a computational system and a set of activities for mathematical learning. Our central contention is that programming can offer a key to resolving the tension between the different representational structures of narrative and mathematical formalism. In the course of describing our approach, we make a distinction...

Mathematical Programming Society Newsletter